# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_VEXPRESS) += \
	foundation-v8.dtb foundation-v8-psci.dtb \
	foundation-v8-gicv3.dtb foundation-v8-gicv3-psci.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno.dtb juno-r1.dtb juno-r2.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno-v2f-1xv7-mali-gpu-2xdp500.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno-v2f-1xv7-mali-gpu-2xdp550.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno-v2f-1xv7-mali-gpu-2xdp550-mmu500.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno-v2f-1xv7-mali-gpu-1xdp650.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += juno-v2f-1xv7-mali-2xdp650.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += rtsm_ve-aemv8a.dtb
dtb-$(CONFIG_ARCH_VEXPRESS) += vexpress-v2f-1xv7-ca53x2.dtb

